Logotipo da Unicamp Acessar site da Unicamp Logotipo Portal de Docentes Voltar para a Home
 

WALTER ALEXANDRE CARNIELLI

Você está aqui:   Inicial Docentes e Pesquisadores WALTER ALEXANDRE CARNIELLI
Navegação
WALTER ALEXANDRE CARNIELLI
walterac@unicamp.br
Você é WALTER ALEXANDRE CARNIELLI? clique aqui para atualizar as informações
Bases

Ultimas formações
1989 - 1990     Pós-Doutor(a), University of Münster
1984 - 1985     Pós-Doutor(a), University of California System
Palavras-chave (lattes)
Coautores
Resumo Lattes
Graduado e licenciado em Matemática pela Universidade Estadual de Campinas (1976), especialização em Filosofia da Ciência pela Universidade Estadual de Campinas (1981) , mestrado em Matemática pela Universidade Estadual de Campinas (1978), doutorado em Matemática pela Universidade Estadual de Campinas (1982), pós-doutorado pela University of California (1985) , pela Universitat Munster (Westfalische-Wilhelms) (1990) e pela Rheinische Friedrich-Wilhelms-Universität Bonn, como bolsita da Fundação Alexander von Humboldt. Atualmente é Professor Titular do Departamento de Filosofia da Universidade Estadual de Campinas e Diretor do Centro de Lógica, Epistemologia e História a Ciência (CLE), cargo que já ocupou pos dois outros mandatos É editor e membro do corpo editorial de diversas revistas científicas, membro do SQIG - Security and Quantum Information Group (IST,Lisboa, Portugal), da Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften (DVMLG) e de diversas sociedades científicas internacionais . Pesquisa e ensina na área de Filosofia, com ênfase em Lógica e Fundamentos da Matemática. Atua principalmente nos seguintes temas: fundamento dos sistemas da lógica contemporânea, lógica e fundamentos da computação semânticas formais, combinação de lógicas, combinatória finita e infinita, história e filosofia da lógica. Presidiu a Sociedade Brasileira de Lógica por dois mandatos, e fundou o GT de Lógica da ANPOF, o qual coordenou por vários anos.
Idiomas
Alemão Compreende Bem , Fala Bem , Lê Bem , Escreve Razoavelmente
Inglês Compreende Bem , Fala Bem , Lê Bem , Escreve Bem
Espanhol Compreende Bem , Fala Bem , Lê Bem , Escreve Razoavelmente
Francês Compreende Bem , Fala Bem , Lê Bem , Escreve Razoavelmente
Italiano Compreende Bem , Fala Bem , Lê Bem , Escreve Razoavelmente
Catalão Compreende Bem , Fala Razoavelmente , Lê Bem , Escreve Pouco
Interlíngua Compreende Bem , Fala Bem , Lê Bem , Escreve Bem
Luxemburguês Compreende Razoavelmente , Fala Pouco , Lê Bem , Escreve Pouco
Estatísticas Scholar
Estatísticas FAPESP
Apoio FAPESP em números

21 18 2 41
Auxílios à pesquisa concluídos Bolsas no país concluídas Bolsas no exterior concluídas Todos os Auxílios e Bolsas